Domain(
  data("Address", 
    gist -> "Address of a location",
    creation -> Time(y=2011,m=11,d=12,h=20,min=53,sec=49),
    revision -> Time(y=2011,m=11,d=12,h=20,min=53,sec=49)
  ), 
  data("Distance", 
    gist -> "Distance from user location to location",
    creation -> Time(y=2011,m=11,d=12,h=20,min=59,sec=53),
    revision -> Time(y=2011,m=11,d=12,h=20,min=59,sec=53)
  ), 
  data("Error code", 
    gist -> "a specific machine generated error code used by developers",
    creation -> Time(y=2011,m=11,d=12,h=20,min=15,sec=46),
    revision -> Time(y=2011,m=11,d=12,h=20,min=15,sec=46)
  ), 
  data("Location", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=4,sec=8),
    revision -> Time(y=2011,m=11,d=12,h=20,min=4,sec=8)
  ), 
  data("Mean value", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=2,sec=24),
    revision -> Time(y=2011,m=11,d=12,h=20,min=2,sec=24)
  ), 
  data("Os identifier", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=4,sec=25),
    revision -> Time(y=2011,m=11,d=12,h=20,min=4,sec=25)
  ), 
  data("Ratings") has (quality("Show a maximum of 5 ratings at a time"),data("Mean value")), 
  data("Reviews", 
    gist -> "Reviews of a location",
    creation -> Time(y=2011,m=11,d=12,h=20,min=53,sec=11),
    revision -> Time(y=2011,m=11,d=12,h=20,min=53,sec=11)
  ), 
  data("Reviews") has (quality("Show a maximum of 5 reviews at a time")), 
  data("Sharing statistics", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=4,sec=36),
    revision -> Time(y=2011,m=11,d=12,h=20,min=4,sec=36)
  ), 
  data("Statistics") has (data("Location"),data("Timestamp"),data("OS identifier"),data("Sharing statistics")), 
  data("Timestamp", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=20,sec=10),
    revision -> Time(y=2011,m=11,d=12,h=20,min=20,sec=10),
    gist -> "the error message should contain a timestamp when the error occured"
  ), 
  feature("Alert messages", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=13,sec=47),
    revision -> Time(y=2011,m=11,d=12,h=17,min=13,sec=47),
    gist -> "The application can alert the user through different types of messages"
  ), 
  feature("Alert messages") has (feature("Network message"),feature("Error message"),feature("Rate message"),feature("Release messages")), 
  feature("Blacklisted", 
    gist -> "filters by blacklsit",
    state -> dropped,
    creation -> Time(y=2011,m=11,d=12,h=20,min=52,sec=4),
    revision -> Time(y=2011,m=11,d=12,h=20,min=52,sec=4)
  ), 
  feature("Cancelable", 
    gist -> "It should be possible to exit the introductory tutorial without finishing it",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=18,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=17,min=18,sec=40)
  ), 
  feature("Category", 
    gist -> "filters by category",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=48,sec=46),
    revision -> Time(y=2011,m=11,d=12,h=20,min=48,sec=46)
  ), 
  feature("Check-in", 
    gist -> "The application allows the user to check-in at their location through Facebook",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=21,sec=9),
    revision -> Time(y=2011,m=11,d=12,h=17,min=21,sec=9)
  ), 
  feature("Coupon", 
    gist -> "The application will have functionality for special offers through a coupon system",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55),
    revision -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55)
  ), 
  feature("Customisation", 
    gist -> "The application will be customisable, both for specialisation for the different franchises and for the end user",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48),
    revision -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48)
  ), 
  feature("Customisation") has (feature("Favourites")), 
  feature("Developer contact", 
    gist -> "A user can contact the developers",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=46,sec=2),
    revision -> Time(y=2011,m=11,d=12,h=20,min=46,sec=2)
  ), 
  feature("Directions", 
    gist -> "Gives the user directions from users location to the location",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=56,sec=55),
    revision -> Time(y=2011,m=11,d=12,h=20,min=56,sec=55)
  ), 
  feature("Error message", 
    gist -> "Gives an alert to an error occuring",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=59),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=59)
  ), 
  feature("Error message") has (function("Notify developers"),data("Timestamp"),data("Error code"),quality("Written in English"),quality("Describes the cause of the error without the use of written code in the message."),feature("Timeout error")), 
  feature("Execution", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=16,sec=42),
    revision -> Time(y=2011,m=11,d=12,h=17,min=16,sec=42),
    gist -> "Requirements related to the execution"
  ), 
  feature("Execution") has (quality("Execution rigidity"),feature("Network timeout"),quality("100 favourites")), 
  feature("Facebook") has (feature("Check-in"),feature("Message"),feature("Message wall")), 
  feature("Favourites", 
    gist -> "The users can define a list of favourites",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=12,sec=43),
    revision -> Time(y=2011,m=11,d=12,h=20,min=12,sec=43)
  ), 
  feature("Favourites") has (quality("Can store at least 100 favourites"),feature("Sortable"),feature("Removable"),feature("Shareable")), 
  feature("Feedback", 
    gist -> "Information sent to the developers or the statistics database",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41),
    revision -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41)
  ), 
  feature("Feedback") has (feature("Send feature request"),feature("Developer contact"),feature("Send statistics")), 
  feature("Filter favourites", 
    gist -> "filters by favourites",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=51,sec=5),
    revision -> Time(y=2011,m=11,d=12,h=20,min=51,sec=5)
  ), 
  feature("Filter") has (feature("Filter favourites"),feature("Opening hours"),feature("Rating"),feature("Category"),feature("Blacklisted")), 
  feature("Filters") has (), 
  feature("Follows the application marketplace guidelines", 
    gist -> "The application follows the guidelines for Android Market and Apple App Store",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45),
    revision -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45)
  ), 
  feature("Graphic", 
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26),
    revision -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26)
  ), 
  feature("Info view") has (feature("Directions to active location from here"),data("Reviews"),data("Ratings"),data("Distance"),feature("Add to favourites"),data("Address"),data("Open hours"),feature("Directions"),goal("Supply sufficient information for the specified location"),feature("Share")), 
  feature("Introduction tutorial", 
    gist -> "An introductory tutorial for first-time users",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43),
    revision -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43)
  ), 
  feature("Introduction tutorial") has (quality("Should be understood by at least 80 percent of all users in a mixed English speaking focus group"),feature("Retakeable"),quality("Should include at least 80 percent of all product features"),quality("A user should after completion be able to perform at least 80 percent of all product features"),feature("Cancelable"),quality("80 percent of the users should be able to complete the tutorial within 2 minutes, 95 percent of the time"),quality("All text should be written in English")), 
  feature("Introduction") has (), 
  feature("Launch screen", 
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59),
    revision -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59)
  ), 
  feature("Location info") has (data("Title"),data("Rating"),data("Icon"),feature("Info view")), 
  feature("Map Support") has (feature("Map pin")), 
  feature("Map arrow") has (quality("Never larger than 48 pixels."),feature("Transforms into a map pin if location within the view port"),feature("Shows distance"),data("Icon"),feature("Reflects distance in its size")), 
  feature("Map pin") has (feature("Pin types"),feature("Radius"),feature("Changable icon"),data("Icon"),data("Color"),feature("Removable"),feature("Tapable")), 
  feature("Map support", 
    gist -> "Map features",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8),
    revision -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8)
  ), 
  feature("Map support") has (feature("Location info"),feature("Filter"),feature("Mutable radius"),quality("Shows a maximum of 5 map arrows at a time."),feature("Map view"),feature("Map arrow")), 
  feature("Map view") has (feature("Satellite view"),feature("Hybrid view"),feature("User location"),feature("Zoomable"),feature("Regular map view")), 
  feature("Message wall", 
    gist -> "ability to write a message about the location on a wall",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=36,sec=6),
    revision -> Time(y=2011,m=11,d=12,h=20,min=36,sec=6)
  ), 
  feature("Message", 
    gist -> "ability to write a message about the location",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=35,sec=17),
    revision -> Time(y=2011,m=11,d=12,h=20,min=35,sec=17)
  ), 
  feature("Mutable radius") has (quality("Maximum radius coverage is 40 percent of the map view"),feature("viewability toggle"),quality("should if visible be seen by at least 78 percent of all viewers"),feature("Scalable")), 
  feature("Network message", 
    gist -> "Gives a alert to the status of the network",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=6,sec=10),
    revision -> Time(y=2011,m=11,d=12,h=20,min=6,sec=10)
  ), 
  feature("Network message") has (feature("No server connection"),feature("No data traffic"),feature("No internet connection"),feature("Network timeout")), 
  feature("News", 
    gist -> "A screen that gives the user news about the franchise",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1),
    revision -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1)
  ), 
  feature("Notification support", 
    gist -> "Support for giving notifications to the user",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0),
    revision -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0)
  ), 
  feature("Notification support") has (feature("Push notification")), 
  feature("OS support", 
    gist -> "Mobile OS support",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30),
    revision -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30)
  ), 
  feature("OS support") has (feature("Support for Android"),feature("Support for iOS")), 
  feature("Pin types") has (data("Resturant pin type"),data("User pin type")), 
  feature("Rate message", 
    gist -> "Alerts the user to rate the application",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=11,sec=47),
    revision -> Time(y=2011,m=11,d=12,h=20,min=11,sec=47)
  ), 
  feature("Rating", 
    gist -> "filters by ratings",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=51,sec=41),
    revision -> Time(y=2011,m=11,d=12,h=20,min=51,sec=41)
  ), 
  feature("Release message", 
    gist -> "Gives a alert to new releases",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=29),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=29)
  ), 
  feature("Removable", 
    gist -> "you should be able to remove locations from favourites",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=42,sec=45),
    revision -> Time(y=2011,m=11,d=12,h=20,min=42,sec=45)
  ), 
  feature("Send Statistics", 
    gist -> "TODO:",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=48,sec=4),
    revision -> Time(y=2011,m=11,d=12,h=20,min=48,sec=4)
  ), 
  feature("Send feature request", 
    gist -> "A sure can send requests for future features",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=44,sec=46),
    revision -> Time(y=2011,m=11,d=12,h=20,min=44,sec=46)
  ), 
  feature("Send statistics") has (data("Statistics")), 
  feature("Share", 
    gist -> "TODO:",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=52,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=20,min=52,sec=40)
  ), 
  feature("Shareable", 
    gist -> "User can share favourites lists",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=43,sec=12),
    revision -> Time(y=2011,m=11,d=12,h=20,min=43,sec=12)
  ), 
  feature("Sharing support", 
    gist -> "Support for sharing statistics and location",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29),
    revision -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29)
  ), 
  feature("Sharing support") has (feature("SMS integration"),feature("Copy location"),feature("Google+ integration"),feature("E-mail integration"),feature("Twitter"),feature("Facebook")), 
  feature("Sortable", 
    gist -> "the list of favourites should be sortable",
    state -> dropped,
    creation -> Time(y=2011,m=11,d=12,h=20,min=42,sec=4),
    revision -> Time(y=2011,m=11,d=12,h=20,min=42,sec=4)
  ), 
  feature("Timeout error", 
    gist -> "if a phone function times out an error is displayed",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=14,sec=54),
    revision -> Time(y=2011,m=11,d=12,h=20,min=14,sec=54)
  ), 
  feature("URL scheme", 
    gist -> "The URL scheme used by iOS devices to load applications with given parameters",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44),
    revision -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44)
  ), 
  feature("User location") has (feature("Compass"),feature("Error margin radius"),quality("Maximum error of 100 meters 80 percent of the time")), 
  function("Notify developers", 
    gist -> "the user can notify the developers of an occured error",
    creation -> Time(y=2011,m=11,d=12,h=20,min=13,sec=44),
    revision -> Time(y=2011,m=11,d=12,h=20,min=13,sec=44)
  ), 
  product("Food Finder", 
    creation -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52),
    revision -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52)
  ), 
  quality("100 favourites", 
    gist -> "can store atleast 100 locations",
    creation -> Time(y=2011,m=11,d=12,h=20,min=40,sec=4),
    revision -> Time(y=2011,m=11,d=12,h=20,min=40,sec=4)
  ), 
  quality("Execution rigidity", 
    gist -> "Upper limit of number of crashes during use",
    creation -> Time(y=2011,m=11,d=12,h=20,min=31,sec=7),
    revision -> Time(y=2011,m=11,d=12,h=20,min=31,sec=7)
  ), 
  quality("Execution time", 
    gist -> "upper limit on the execution time",
    creation -> Time(y=2011,m=11,d=12,h=20,min=26,sec=1),
    revision -> Time(y=2011,m=11,d=12,h=20,min=26,sec=1)
  ), 
  quality("Follows the guidelines of the Android marketplace", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56)
  ), 
  quality("Follows the guidelines of the iOS appstore", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50)
  ), 
  quality("In english", 
    gist -> "the error message should be written in englih",
    creation -> Time(y=2011,m=11,d=12,h=20,min=18,sec=3),
    revision -> Time(y=2011,m=11,d=12,h=20,min=18,sec=3)
  ), 
  quality("Maximum ratings", 
    gist -> "Show a maximum of 5 ratings at a time",
    prio -> "4",
    creation -> Time(y=2011,m=11,d=12,h=19,min=51,sec=12),
    revision -> Time(y=2011,m=11,d=12,h=19,min=51,sec=12)
  ), 
  quality("Maximum review", 
    gist -> "Show a maximum of 5 reviews at a time",
    creation -> Time(y=2011,m=11,d=12,h=20,min=3,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=20,min=3,sec=40)
  ), 
  quality("Network timeout", 
    gist -> "TODO:",
    creation -> Time(y=2011,m=11,d=12,h=20,min=33,sec=36),
    revision -> Time(y=2011,m=11,d=12,h=20,min=33,sec=36)
  ), 
  quality("Understandable", 
    gist -> "Describes the cause of the error without the use of written code",
    creation -> Time(y=2011,m=11,d=12,h=20,min=17,sec=25),
    revision -> Time(y=2011,m=11,d=12,h=20,min=17,sec=25)
  ), 
  stakeholder("Android marketplace", 
    gist -> "Indirect: Provides a retail channel",
    creation -> Time(y=2011,m=11,d=11,h=16,min=59,sec=59),
    revision -> Time(y=2011,m=11,d=11,h=16,min=59,sec=59)
  ), 
  stakeholder("Apple AppStore", 
    gist -> "Indirect: provide a retail channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=6,sec=9),
    revision -> Time(y=2011,m=11,d=11,h=17,min=6,sec=9)
  ), 
  stakeholder("Apple iOS", 
    gist -> "Indirect: provides the iOS platform",
    creation -> Time(y=2011,m=11,d=11,h=17,min=5,sec=22),
    revision -> Time(y=2011,m=11,d=11,h=17,min=5,sec=22)
  ), 
  stakeholder("Design team", 
    gist -> "The design team responsible for tailoring the design of the applicataion for different franchises",
    creation -> Time(y=2011,m=11,d=11,h=16,min=48,sec=57),
    revision -> Time(y=2011,m=11,d=11,h=16,min=48,sec=57)
  ), 
  stakeholder("Development team", 
    gist -> "The development team respinsible for maintaining the product",
    creation -> Time(y=2011,m=11,d=11,h=16,min=44,sec=11),
    revision -> Time(y=2011,m=11,d=11,h=16,min=44,sec=11)
  ), 
  stakeholder("Franchises", 
    gist -> "A company aspiring to buy a company specific application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=38,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=16,min=38,sec=56)
  ), 
  stakeholder("Google Android", 
    gist -> "Indirect: Provides the android platform",
    creation -> Time(y=2011,m=11,d=11,h=16,min=57,sec=57),
    revision -> Time(y=2011,m=11,d=11,h=16,min=57,sec=57)
  ), 
  stakeholder("Google maps", 
    gist -> "Indirect: The map provider for the application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=54,sec=13),
    revision -> Time(y=2011,m=11,d=11,h=16,min=54,sec=13)
  ), 
  stakeholder("ISP", 
    gist -> "Indirect: Provides a networking channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=8,sec=3),
    revision -> Time(y=2011,m=11,d=11,h=17,min=8,sec=3)
  ), 
  stakeholder("Product owner", 
    gist -> "The company owning the source code of the base application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=42,sec=32),
    revision -> Time(y=2011,m=11,d=11,h=16,min=42,sec=32)
  ), 
  stakeholder("Smartphone manifacturers", 
    gist -> "Indirect: Companies specializing in smatphones using iOS and Android OS",
    creation -> Time(y=2011,m=11,d=11,h=17,min=10,sec=5),
    revision -> Time(y=2011,m=11,d=11,h=17,min=10,sec=5)
  ), 
  stakeholder("TSP", 
    gist -> "Indirect: Provides a networking channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=8,sec=22),
    revision -> Time(y=2011,m=11,d=11,h=17,min=8,sec=22)
  ), 
  stakeholder("User", 
    gist -> "The application end user",
    creation -> Time(y=2011,m=11,d=11,h=16,min=35,sec=44),
    revision -> Time(y=2011,m=11,d=11,h=16,min=35,sec=44)
  )
)
